1. Automated Deduction - A Basis for Applications
پدیدآورنده: edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
2. Automated Deduction - A Basis for Applications
پدیدآورنده: edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
3. Automated deduction - A Basis for applications
پدیدآورنده: edited by wolfgang Bibel, Peter H. Schmitt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Logic programming,، Logic )mathematics(
رده :
QA
76
.
63
.
A8
L6
4. Automated deduction-a basis for applications
پدیدآورنده: / edited by Wolfgang Bibel and Peter H.Schmitt
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic,Symbolic and mathematical,Automatic theorem proving
رده :
QA
76
.
9
.
A96
1998
5. Automated theorem proving
پدیدآورنده: Wolfgang Bibel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA76
.
9
.
A96
W654
1987
6. Automated theorem proving
پدیدآورنده: Wolfgang Bibel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic theorem proving.,Automatisches Beweisverfahren,Computersimulation
رده :
QA76
.
9
.
A96
W654
1982
7. Automatisierung von Terminierungsbeweisen
پدیدآورنده: von Christoph Walther ; herausgegeben von Wolfgang Bibel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
8. Deduction; automated logic
پدیدآورنده: Bibel, Wolfgang
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Automatic theorem proving,، Artificial intelligence
رده :
QA
76
.
9
.
A96
.
B5213
1993
9. Künstliche Intelligenz :
پدیدآورنده: hrsg. von Wolfgang Bibel und Jörg H. Siekmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Artificial intelligence. Robotics. Simulation. Graphics.,Künstliche Intelligenz
رده :
Q335
.
5
H774
1982
10. Studien-und forschungsfuhrer kunstliche intelligenz
پدیدآورنده: Herausgegeben von Wolfgang Bibel ...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Societies, etc ، Artificial intelligence
رده :
Q
334
.
S88
11. Wissensrepräsentation und Inferenz :
پدیدآورنده: Wolfgang Bibel zusammen mit Steffen Hölldobler und Torsten Schaub.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Kognitionswissenschaft.,Künstliche Intelligenz.,Wissensrepräsentation.
رده :
BC199
.
I47
W654
1993
